1. Domain engineering :
پدیدآورنده : Dines Bjørner.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer programming.,Software engineering.
رده :
QA76
.
758
.
B558
2009
2. Domain engineering :
پدیدآورنده : Dines Bjørner.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer programming.,Software engineering.
رده :
QA76
.
758
.
B558
2009
3. Formal Methods in Programming and Their Applications :
پدیدآورنده : edited by Dines Bjørner, Manfred Broy, Igor V. Pottosin.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Logic design.,Software engineering.
رده :
QA76
.
6
E358
1993
4. Giants of computing :
پدیدآورنده : Gerard O'Regan
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science-- History,Computer scientists, Biography
رده :
QA76
.
2
.
A2
O74
2013
5. Perspectives of System Informatics :
پدیدآورنده : edited by Dines Bjørner, Manfred Broy, Igor V. Pottosin.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Logic design.,Software engineering.
6. Perspectives of system informatics
پدیدآورنده : Dines Bjørner, Manfred Broy, Alexandre V. Zamulin (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer systems, Congresses.
7. Perspectives of system informatics :
پدیدآورنده : 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001. Dines Bjørner ... (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Programmierung.,Theoretische Informatik.,Wissenstechnik.
8. Symposium on real-time and hybrid systems :
پدیدآورنده : Cliff Jones, Ji Wang, Naijun Zhan (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Formal methods (Computer science),Software engineering.,Artificial Intelligence.,Programming Languages, Compilers, Interpreters.,Software Engineering.,System Performance and Evaluation.,Theory of Computation.,Artificial intelligence.,Computer science.,Computers-- Computer Science.,Computers-- Hardware-- Handheld Devices.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Programming & scripting languages: general.,Software engineering.,Software Engineering.,Systems analysis & design.
رده :
QA76
.
758
9. VDM '87 :
پدیدآورنده : edited by D. Bjørner ... [et al.].
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer software-- Development-- Congresses.,Computer software industry-- European Economic Community countries-- Congresses.
رده :
QA76
.
76
.
D47
V85
1987